<!--
 * @author: Bodan Chen
 * @Date: 2021-08-30 16:50:21
 * @LastEditors: Bodan Chen
 * @LastEditTime: 2021-08-31 21:07:43
 * @Email: 18377475@buaa.edu.cn
-->
<!DOCTYPE html>
<html lang="en">

<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
    <link rel="stylesheet" href="../../css/bootstrap.min.css">
    <link rel="stylesheet" href="../../css/main.css">
    <!-- <link href="/css/main.css"> -->
    <link rel="stylesheet" href="../../css/now-ui-kit.css">
    <link rel="stylesheet" href="style.css">
    <link href="https://fonts.googleapis.com/css?family=Poppins:300,400,600,700,800,900&display=swap" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css?family=Montserrat:400,600,700,800,900&display=swap" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css?family=Lato:300,400,600,700,800,900&display=swap" rel="stylesheet">
    <script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.6.0/jquery.js"></script>
    <script type="text/javascript" src="math-core.js"></script>

    <title>BUAALogic</title>
</head>

<body>
    <nav class="navbar navbar-expand-lg bg-transparent">
        <button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation">
        <img src="../../assets/menuIcon.svg" width="20px" height="20px" style="max-width: none !important;">
    </button>
        <img src="../../assets/math_white.svg" width="50" height="50">
        <div class="collapse navbar-collapse" id="navbarSupportedContent" style="margin-left: 20px !important">
            <ul class="navbar-nav mr-auto">
                <li class="nav-item active">
                    <a class="nav-link" href="../../index.html">Home <span class="sr-only">(current)</span></a>
                </li>
                <!-- <li class="nav-item">
                <a id="topfeatures" class="nav-link" href="#">Features</a>
            </li> -->
                <div class="nav-item dropdown">
                    <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
                    命题演算
                </a>
                    <div class="dropdown-menu" aria-labelledby="navbarDropdown">
                        <a id="mp1" class="dropdown-item" href="#">Problem 1</a>
                        <a id="mp2" class="dropdown-item" href="#">Problem 2</a>
                        <div class="dropdown-divider"></div>
                        <a id="mp3" class="dropdown-item" href="#">Problem 3</a>
                    </div>
                </div>
                <div class="nav-item dropdown">
                    <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
                    谓词演算
                </a>
                    <div class="dropdown-menu" aria-labelledby="navbarDropdown">
                        <a class="dropdown-item" href="#">Problem 1</a>
                        <a class="dropdown-item" href="#">Problem 2</a>
                        <div class="dropdown-divider"></div>
                        <a class="dropdown-item" href="#">Problem 3</a>
                    </div>
                </div>
                <!-- <li class="nav-item">
                <a class="nav-link" href="#">Dashboard</a>
            </li> -->
                <li class="nav-item">
                    <a class="nav-link" href="#">Subscribtion</a>
                </li>
            </ul>
            <div class="nav-item dropdown">
                <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
                Documentation
            </a>
                <div class="dropdown-menu" aria-labelledby="navbarDropdown">
                    <a class="dropdown-item" href="../../img/README.pdf" target="_blank">Commands</a>
                    <a class="dropdown-item" href="#">Tutorials</a>
                    <div class="dropdown-divider"></div>
                    <a class="dropdown-item" href="#">Server settings</a>
                </div>
            </div>
            <div class="nav-item">
                <a class="nav-link" href="#">About</a>
            </div>
            <button class="btn login-btn btn-outline-accent my-2 my-sm-0" style="font-size: 10px !important;font-family: poppins !important;">LOGIN</button>
        </div>
    </nav>

    <div id="project-cont" class="container">
        <div id="project">
            <div class="cards">
                <div class="card" id="topcards">
                    <div class="card-body">
                        <h5 class="card-title">Problem #1</h5>
                        <div id="top-card-text">
                            <p class="card-text">请构造以下公式并填写正确的真值表</p>
                            <p id="logic-expre" class="card-text"></p>
                        </div>
                    </div>
                </div>
            </div>
        </div>
        <div id="truth-table"></div>
        <div id="input-container">
            <div class="item0"></div>
            <div class="item1">
                <a id="operator∧" class="btn btn-primary btn-lg operators" role="button">∧</a>
            </div>
            <div class="item2">
                <a id="operator∨" class="btn btn-primary btn-lg operators" role="button">∨</a>
            </div>
            <div class="item3">
                <a id="operator→" class="btn btn-primary btn-lg operators" role="button">→</a>
            </div>
            <div class="item4">
                <a id="operator↔" class="btn btn-primary btn-lg operators" role="button">↔</a>
            </div>
            <div class="item5">
                <a id="operator~" class="btn btn-primary btn-lg operators" role="button">~</a>
            </div>
            <div class="item6">
                <a id="generate-button" class="btn btn-primary btn-lg" role="button">generate</a>
            </div>
            <div class="item7">
                <a id="clear-button" class="btn btn-primary btn-lg" role="button">clear</a>
            </div>
            <div class="item8">
                <a id="checka" class="btn btn-primary btn-lg" role="button">check</a>
            </div>
            <div class="item9"></div>
            <div class="item10">
                <input placeholder="input variable" id="input-variable" type="text" class="btn-lg">
            </div>
        </div>
        <!-- <div id="input-section"></div>
    <div id="truth-table"></div>
    <div id="hidden-container"></div> -->
    </div>
    <div id="hidden-container"></div>

    <div class="page_end">
        <div class="start">

        </div>
        <div class="footer">
            <div class="bot-footer">
                <img src="../../assets/mathword.svg" width="150"><br /> Copyright © [Bodan Chen] - 2021
            </div><br/>
            <div class="nouridio">website designed by <a href="https://github.com/guolalala"> guolalala</a></div>
            </di </div>
            <!-- <script src="https://code.jquery.com/jquery-3.3.1.slim.min.js" integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo" crossorigin="anonymous"></script> -->
            <script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.7/umd/popper.min.js" integrity="sha384-UO2eT0CpHqdSJQ6hJty5KVphtPhzWj9WO1clHTMGa3JDZwrnQq4sF86dIHNDz0W1" crossorigin="anonymous"></script>
            <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/js/bootstrap.min.js" integrity="sha384-JjSmVgyd0p3pXB1rRibZUAYoIIy6OrQ6VrjIEaFf/nJGzIxFDsf4x0xIM+B07jRM" crossorigin="anonymous"></script>
            <script src="../../js/now-ui-kit.min.js"></script>
</body>

</html>